1. Computational Semantics with Functional Programming
پدیدآورنده : / Jan Van Eijck and Christina Unger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
2. Computational semantics with functional programming
پدیدآورنده : \ Jan van Eijck and Christina Unger.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
رده :
QA
76
.
7
.
E35C6
2010
E-Book
,
3. Functional J. Programming: practice and theory
پدیدآورنده : / Bruce J. Maclennan
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Functional programming languages,Functional programming (Computer science)
رده :
QA76
.
73
.
F86M33
1989
4. Functional programming: application and implementation
پدیدآورنده : Henderson, Peter
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(,، Functional programming languages
رده :
QA
76
.
6
.
H46
5. Functional programming: practice and theory
پدیدآورنده : Maclennan, Bruce J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Functional programming languages,Functional programming )Computer science(
رده :
QA
76
.
73
.
F86
M33
1990
6. Functional programming : practice and theory
پدیدآورنده : MacLennan, Bruce J.
کتابخانه: (طهران)
موضوع : Functional programming languages , Functional programming )Computer science(
رده :
QA
76
.
73
.
F86
M33
1990
7. Functional programming : practice and theory
پدیدآورنده : MacLennan, Bruce J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Functional programming languages,، Functional programming )Computer science(
رده :
QA
76
.
73
.
F86
M33
1990
8. Functional programming: practice and theory
پدیدآورنده : Bruce J. Maclennan
موضوع : Functional programming languages,Functional programming (computer science)
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
9. Functional programming : practice and theory
پدیدآورنده : / Bruce J. MacLennan
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming languages,Functional programming (Computer science)
رده :
QA76
.
73
.
F86
,.
M33
1990
10. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
11. Parallel functional languages and compilers
پدیدآورنده : edited by Boleslaw K. Szymanski
کتابخانه: (طهران)
موضوع : ، Parallel programming )Computer science(,، Functional programming languages,، Compilers )Computer programs(
رده :
QA
76
.
642
.
P37
1991
12. Principles of functional programming
پدیدآورنده : Glaser, Hugh
کتابخانه: (طهران)
موضوع : ، Functional programming )Computer science(,، Functional programming languages
رده :
QA
76
.
6
.
G558
1984
13. #Principles of functional programming
پدیدآورنده : #Hugh Glaser, Chris Hankin )and( David Till
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Functional programming )Computer science( ،Functional programming languages
رده :
#
QA
،#.
G5337
،#
1984
14. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
15. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
16. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005